1. Term Indexing
Author: Peter Graf
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Automatic theorem proving.,Expert systems (Computer science)
Classification :
QA76
.
9
.
A96
P484
1996
2. Term indexing
Author: Graf, Peter, 6691-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Automatic theorem proving,، Expert systems )Computer science(,، Artificial intelligence,، Indexing
Classification :
QA
76
.
L28
Vol
.
1053
